Carrier($r$/$d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$,$y$:$\mid$$r$$\mid$//($\uparrow$($d$($x$ +$r$ ({-}$r$($y$)))))